Buy Used and New Fabrice Kordon Books

Reliable Software Technologies - Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings (Lecture Notes ... / Programming and Software Engineering)

by

ISBN 13: 9783642019234

Format: Paperback (283 pages)
Publisher: Springer
Published: 25 May 2009

Save for later

Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, ... / Programming and Software Engineering)

by

ISBN 13: 9783540732297

Format: Paperback (247 pages)
Publisher: Springer
Published: 15 Jun 2007

Save for later

Composition of Embedded Systems. Scientific and Industrial Issues: 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected ... / Programming and Software Engineering)

by

ISBN 13: 9783540774181

Format: Paperback (221 pages)
Publisher: Springer
Published: 11 Jan 2008

Save for later

Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June ... / Programming and Software Engineering)

by

ISBN 13: 9783540686217

Format: Paperback (283 pages)
Publisher: Springer
Published: 03 Jun 2008

Save for later

Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers ... / Programming and Software Engineering)

by

ISBN 13: 9783540711551

Format: Paperback (317 pages)
Publisher: Springer
Published: 28 Feb 2007

Save for later

Distributed Systems: Design and Algorithms

by Fabrice Kordon

ISBN 13: 9781848212503

Format: Hardcover (336 pages)
Publisher: Wiley-Blackwell
Published: 10 Jun 2011

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... 11429 (Lecture Notes in Computer Science)

by Dirk Beyer,Marieke Huisman,Fabrice Kordon,Bernhard Steffen

ISBN 13: 9783030175016

Format: Paperback (288 pages)
Publisher: Springer
Published: 04 Apr 2019

Save for later

Formal Methods for Embedded Distributed Systems: How to master the complexity

by Fabrice Kordon,Michel Lemoine

ISBN 13: 9781441954596

Format: Paperback (284 pages)
Publisher: Springer US
Published: 03 Aug 2010

Save for later

Formal Methods for Embedded Distributed Systems: How to master the complexity (The Kluwer International Series in Engineering & Computer Science)

by Fabrice Kordon,Michel Lemoine

ISBN 13: 9781402079962

Format: Illustrated (292 pages)
Publisher: Springer
Published: 15 Sep 1991

Save for later

Tools and Algorithms for the Construction and Analysis of Systems

by Bernhard Steffen,Fabrice Kordon,Marieke Huisman

ISBN 13: 9781013271205

Format: Paperback (280 pages)
Publisher: Saint Philip Street Press
Published: 08 Oct 2020

Save for later

Transactions on Petri Nets and Other Models of Concurrency XV: 12530 (Lecture Notes in Computer Science, 12530)

by Maciej Koutny, Fabrice Kordon, Lucia Pomello

ISBN 13: 9783662630785

Format: Paperback (202 pages)
Publisher: Springer
Published: 25 Feb 2021

Save for later

Transactions on Petri Nets and Other Models of Concurrency XVI: 13220 (Lecture Notes in Computer Science, 13220)

by Maciej Koutny,Fabrice Kordon,Daniel Moldt

ISBN 13: 9783662653029

Format: Paperback (158 pages)
Publisher: Springer
Published: 20 Apr 2022

Save for later